Computational Ontologies and Information Systems II: Formal Specification
نویسندگان
چکیده
منابع مشابه
Computational Ontologies and Information Systems II: Formal Specification
This paper extends the study of ontologies in Part I of this study (Volume 14, Article 8 [Kishore et al, 2004] ) in the context of Information Systems. The basic foundations of computational ontologies presented in Part I are extended to formal specifications in this paper. This paper provides a review of the formalisms, languages, and tools for specifying and implementing computational ontolog...
متن کاملComputational Ontologies and Information Systems I: Foundations
This paper provides a state-of-the-art review about computational ontologies to raise awareness about this research area in the IS discipline and to explore areas where IS researchers can engage in fruitful research. This paper discusses the basic foundations and definitions pertaining to the field of computational ontologies. It reviews the intersection of computational ontologies with the IS ...
متن کاملFormal Contextual Ontologies for Intelligent Information Systems
due to the extensive research in the emerging field of ontologies. Ontologies Driven Information Systems (ODIS) were introduced by N. Guarino in 1998 [Gua98], and recently is finding rather a great attention from numerous, diversified fields such as Web-based information systems, information integration, and the Semantic Web. This paper introduces the notion of contextual ontologies which it ca...
متن کاملFormal Specification of Object Systems
The conceptual modeling of the Universe of Discourse (UoD) is an important phase for the development of information systems because the conceptual model is the basis for system development. Conceptual model specifications must be formal in order to be precise and unambiguous and to support consistency and completeness checks. The object-oriented paradigm is suitable for providing an integrated ...
متن کاملUsing Formal Specification in the Acquisition of Information Systems: Educating Information Systems Professionals
Research into the industrial application of formal methods has concentrated almost exclusively on the speci cation of software systems in highrisk or safety critical applications|thus, attention has been directed to technical problems with technical systems. The Formal Methods Research Group at Curtin University has, however, been addressing the potential practical application of Z and Object-Z...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the Association for Information Systems
سال: 2004
ISSN: 1529-3181
DOI: 10.17705/1cais.01409